Buy Used and New Manfred Broy Books

Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen (German Edition)

by Manfred Broy

ISBN 13: 9783540632344

Format: Paperback (488 pages)
Publisher: Springer
Published: 09 Jun 1997

Save for later

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science)

by Manfred Broy,Stefan J??hnichen

ISBN 13: 9783540605898

Format: Paperback (468 pages)
Publisher: Springer
Published: 08 Nov 1995

Save for later

Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science)

by Manfred Broy,Martin Wirsing

ISBN 13: 9783540545767

Format: Paperback (288 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings: 735 (Lecture Notes in Computer Science)

by Manfred Broy,Dines Bjorner,Igor V. Pottosin

ISBN 13: 9783540573166

Format: Paperback (452 pages)
Publisher: Springer
Published: 05 Oct 1993

Save for later

Projektorganisation und Management im Software Engineering (Xpert.press)

by Manfred Broy, Marco Kuhrmann

ISBN 13: 9783642292897

Format: Hardcover (416 pages)
Publisher: Springer Vieweg
Published: 07 Oct 2013

Save for later

Software Pioneers: Contributions to Software Engineering

by Manfred Broy, Ernst Denert

ISBN 13: 9783642639708

Format: Paperback (732 pages)
Publisher: Springer
Published: 13 Apr 2014

Save for later

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

by Manfred Broy,Alexander Malkis

ISBN 13: 9783658263010

Format: Paperback (468 pages)
Publisher: Springer Vieweg
Published: 21 Jul 2019

Save for later

Formal Systems Specification: The RPC-Memory Specification Case Study: 1169 (Lecture Notes in Computer Science)

by Manfred Broy,Stephan Merz,Katharina Spies

ISBN 13: 9783540619840

Format: Paperback (572 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Program Design Calculi: 118 (Nato ASI Subseries F:)

by Manfred Broy

ISBN 13: 9783642081644

Format: Paperback (424 pages)
Publisher: Springer Berlin Heidelberg
Published: 19 Feb 2010

Save for later

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

by Manfred Broy,Ketil Stølen

ISBN 13: 9780387950730

Format: Illustrated (370 pages)
Publisher: Springer
Published: 27 Apr 2001

Save for later

Mathematical Methods in Program Development: 158 (Nato ASI Subseries F:)

by Manfred Broy

ISBN 13: 9783642645884

Format: Paperback (552 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1997

Save for later

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

by Manfred Broy, Ketil Stølen

ISBN 13: 9781461265184

Format: Paperback (368 pages)
Publisher: Springer
Published: 27 Apr 2001

Save for later